Design Patterns for Avionics Control Systems
نویسنده
چکیده
The patterns in this document combine observations, reinterpretations, rational reconstructions, and redesigns of Avionics Control Systems within the realm of the DSSA ADAGE project[3]. An Avionics Control System (ACS) is the main navigation system of an aircraft. An ACS continuously collects sensor data to estimate actual state of an aircraft, computes desired aircraft state with respect to guidance modes, and performs actions that advise pilots and/or directly manipulate aircraft effectors in ways that bring actual and desired state in closer agreement.
منابع مشابه
A Design and Implementation of Avionics Test System for Virtual Flight Simulation
In this paper, the virtual flight simulation environment for open-source-based avionics test system design and implementation. This paper is proposing an integrated avionics test system for flight manipulation and simulation using the commercial simulation and development software tools such as X-Plane, LabView, and Google Earth. The proposed system is designed of seven parts of user flight con...
متن کاملSynchronous AADL and Its Formal Analysis in Real-Time Maude
Distributed Real-Time Systems (DRTS), such as avionics systems and distributed control systems in motor vehicles, are very hard to design because of asynchronous communication, network delays, and clock skews. Furthermore, their model checking typically becomes unfeasible due to the large state spaces caused by the interleavings. For many DRTSs, we can use the PALS methodology to reduce the pro...
متن کاملFormal Patterns for Multi-rate Distributed Real-Time Systems
• Formally defines the Multirate PALS synchronizer for distributed multirate systems. • Proves the correctness of Multirate PALS. • Uses Multirate PALS on a distributed control algorithm for turning an airplane. a r t i c l e i n f o a b s t r a c t Distributed real-time systems (DRTSs), such as avionics and automotive systems, are very hard to design and verify. Besides the difficulties of asy...
متن کاملDetailed Design of Avionics Control Software
Avionics control systems are typical real-time systems – automatic control algorithms are realized as periodic computations where strict requirements on the timing can be derived by a control analysis. The requirements are effectively end-to-end timing requirements on the computation – from sensory input to actuator output – and have to be transformed into a detailed control software design. Th...
متن کاملTesting Method of Integrated Modular Avionics Health Monitoring
Avionics software is safe-critical embedded software and its architecture is evolving from traditional federated architectures to Integrated Modular Avionics (IMA) to improve resource usability. ARINC653, as a standard widely employed in the avionics industry, supports partitioning concepts in accordance with the IMA philosophy. Monitoring the health of certain aerospace structures has been sho...
متن کامل